top_command (cmd_load currentFile [])
top_command cmd_constraints
